Section: Dissemination
Promoting Scientific Activities
Scientific Events: Selection
Chair of Conference Program Committees
-
T. Bourke co-chaired the program committee of the ACM/IEEE international conference on Embedded Software (EMSOFT 2019).
Member of the Conference Program Committees
-
T. Bourke served on the PC of the Euromicro Conference on Real-Time Systems (ECRTS 2019).
-
T. Bourke served on the PC of the international workshop on Software and Compilers for Embedded Systems (SCOPES 2019).
-
T. Bourke served on the PC of the international Modelica conference (MODELICA 2019).
-
T. Bourke served on the PC of the OCaml Users and Developers Meeting (OCaml 2019).
-
M. Pouzet served on the PC of the program committee of the ACM/IEEE international conference on Embedded Software (EMSOFT 2019).
-
M. Pouzet served on the PC of the international workshop on Software and Compilers for Embedded Systems (SCOPES 2019).
-
M. Pouzet served on the PC of the international workshop on Cyber-Physical Systems (CyPhy), a satellite event of ESWEEK.
-
F. Zappa Nardelli served on the PC of the international conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2019).
-
F. Zappa Nardelli served on the PC of the ACM Workshop on Gradual Types (WGC 2020).
Reviewer
-
T. Bourke reviewed submissions for the international conference on Computer Aided Verification (CAV 2019)
-
T. Bourke reviewed submisssions for the international conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2019).
Journal
Reviewer - Reviewing Activities
-
T. Bourke reviewed articles for the Journal of Logical and Algebraic Methods in Programming (JLAMP).